This article investigates the proof theory of the Quantified Argument Calculus as developed and systematically studied by Hanoch Ben-Yami [3, 4]. Ben-Yami makes use of natural deduction, we, however, have chosen a sequent calculus presentation, which allows for the proofs of a multitude of significant meta-theoretic results with minor modifications to the Gentzen’s original framework, i.e., LK. As will be made clear in course of the article LK-Quarc will enjoy cut elimination and its corollaries.

The stronger the level of economic integration between countries, the greater the need to study the formation patterns of the stock market reaction to the financial information signals. This concerns the Ukrainian stock market, which is now in its infancy, and which reaction to financial information signals is sometimes ambiguous. The research aims to identify the formation patterns of return and volatility indicators of the Ukrainian stock market reaction to the US financial information signals. To assess the direct nature of (...) US financial information signals effect on the PFTS stock index, the GARCH econometric modeling toolkit was applied. The research information base is the PFTS stock index and the Federal Reserve System financial information signals at the discount rate for 2000–2019. The fetch is divided into intervals corresponded to the ascent and decline phases of the financial cycle. It was found that an unforeseen increase in the discount rate at the financial cycle decline phase by 25 basis points decreases the PFTS stock index return, on average by 2.9%. Besides, the hypothesis about the general change stabilizing effect in the discount rate on the Ukrainian stock market volatility at the financial cycle growth phase was confirmed. Nevertheless, for investors, the most essential is the regulator’s monetary signals in the discount rate at the financial cycle decline phases rather than at the ascent phases because there is a more significant increase in the volatility level. (shrink)

The present article considers the problematical nature of social philosophy’s interdisciplinary character. The author considers that we can discover its specification as an independent area of the humanities, with exarticulation of adjacent to social philosophy disciplines like political philosophy, historic sociology and social theory. If it will be done, we will be able as the scientists to prove that social philosophy, which if often considering as the synonymous of social theory, has right to exist. The author comes to conclusion that (...) the most part of social theory supporters try to ignore valuative dimension in “theories” of thinkers they research. In fact it is а duty of social philosophy which nature is valuative. In author’s point of view, such a trend in theoretical sociology as “cultural sociology,” which use not only explanatory and descriptive methods but also interpretations, reflects the differences between social theory and social philosophy because it emphasizes the cultural dimension of social processes. For example, cultural sociology deals with issues that are more relevant to philosophy than to sociology, in particular, it concerns the problem of evil. (shrink)

This paper extends the investigations into logical properties of the quantified argument calculus (Quarc) by suggesting a series of proper subsystems which, although retaining the entire vocabulary of Quarc, restrict quantification in such a way as to make the result decidable. The proof of decidability is via a procedure that prunes the infinite branches of a derivation tree in what is a syntactic counterpart of semantic filtration. We demonstrate an application of one of these systems by showing that Aristotle’s assertoric (...) syllogistic is embeddable within, thus also providing another method of showing its decidability. (shrink)

Copernican revolutions have often been the subject of discussion in the history of philosophy and of thought in the special sciences. Kant, for example, lived with the idea that it was necessary to carry out, and later that he had carried out, a Copernican revolution in the realm of philosophical thought. What was the essence of this "Copernican" revolution of Kant's?

My discussion will concern itself with mathematics, medicine and the possible relations between the two. It will be an exercise in logical analysis, a review of some sad, sad facts, and in some sense a promise of glad tidings. In short, it will be an effort to bring the immortal inhabitants of the mathematical heaven into harmonious relations with the mortal ills of man's vale of tears.As to the curious role of mathematics with respect to the natural sciences, several preliminary (...) observations insist on prompt consideration. It is a matter of common knowledge, for example, that mathematics is being constantly applied to physics. With great success, Galileo wedded the two in his study of motion down an inclined plane. The mathematics he used to describe the physical phenomenon involved the equation of a parabola. His daring genius thus got far beyond the conventional circles that were permitted to motion by theology. His courageous use of the then “higher mathematics” was followed by centuries of application of still higher and higher mathematics, till now a small army of mathematicians is busy almost exclusively with the problem of inventing or discovering new varieties of mathematics which could serve physics better and better. The mathematical physicist of to-day is a specialist, nine-tenths mathematician, one-tenth physicist, with the nine-tenths serving the one-tenth. (shrink)

Open peer commentary on the article “Modeling Subjects’ Experience While Modeling the Experimental Design: A Mild-Neurophenomenology-Inspired Approach in the Piloting Phase” by Constanza Baquedano & Catalina Fabar. Upshot: Baquedano and Fabar’s provoking article highlights several difficulties of neurophenomenology, and brings into light the necessity of further clarification of its basic concepts such as human experience, first-person perspective, phenomenological validation, explanation, adequate measurement and so on. Particularly, it becomes more and more clear that the “explanatory gap” cannot be liquidated by means (...) of explanation procedures alone, for the unavoidable variety of modes and forms of human understanding cannot be exhaustively reduced to just any one of these modes. (shrink)

Open peer commentary on the article “Consciousness as Self-Description in Differences” by Diana Gasparyan. Upshot: The aim of my commentary is to support some of Gasparyan’s ideas and to reformulate them in a more constructive way in terms of both formalized hermeneutical procedures and networks and in the light of game-theory approaches.

The topic of this paper is Timothy Williamson’s understanding of the logical form of thought experiments as involving counterfactual conditionals which are true when their antecedent is impossible. At the same time, he sees the ability to handle counterfactuals as grounded in our everyday capacities. The aim of this paper is to drive a wedge, on empirical grounds, between our ordinary capacities and the counterfactuals which require an impossible antecedent.

The modification of Frege's semantics that consists in using only one reference (Bedeutung, denotate) truth instead of two references truth and falsity is proposed. According to Frege 1) every true sentence stands for truth, 2) every false sentence stands for falsity. We modify the second statement: 2*) every false sentence doesn't stand for truth. The modification of sentential logic interpretation will consist in change of semantic rules: a) every formula A stands either for truth or falsity, b.1) the formula A (...) has value T iff the formula A stands for truth, b.2) the formula A has value F iff the formula A stands for falsity. Let’s change rules a) and b.2) on: a*) every formula A either stands or doesn't stand for truth, b.2*) the formula A has value F iff the formula A doesn't stand for truth. So, we have only one reference but still two values. The proposed approach can be extended to non-classical cases, for which the bivalence principle doesn't take place. An ordered pair of the sentences A, ~A is put in correspondence to the sentence A. Each sentence of ordered pair can either stands or doesn't stand for truthindependently from the other. Thus for each pair of sentences we have four possible variants of reference which are generate four functional values. (shrink)

This essay is a fictocritical meditation upon the contemporary transformation of temporal experience as we find ourselves embarked upon an accelerating process of climate change and species extinction, including possibly that of the human species. The essay offers an extended reading of a recent villanelle published in John Kinsella’s Book of Villanelles that in turn responds to a controversial project by the Adani mining consortium to begin extracting coal over a large swathe of Wangan and Jagalingou country in the Central (...) Queensland Galilee Basin. The essay is an extract from a collaborative work in progress by John Kinsella and myself, Per Se: On the Imperatives of Place II, that will appear in early 2021 with Narr, building upon ˈtεmprərɪnəs: On the Imperatives of Place. (shrink)

Introduction. A radical tendency in modern approaches to understanding the mechanisms of the brain is the tendency of some scientists to believe that the brain is a receptor capable of capturing thoughts; the nature of the occurrence of the thoughts themselves, however, is not to be clarified. However, speech expressing thoughts is undoubtedly the result of the work of the brain, so studies of the frequency structure of speech can be the basis for considering the material structure of the brain (...) as a kind of “antenna”. In this approach, the problem of noise protection against the background of the undeniable frequency similarity of speech and music appears to us from somewhat different positions. This study raises the question of how essential the overall height of the musical system is to the perception of music (are there musical systems that are harmful or useful, in terms of their effects on the psyche). This question is also relevant to speech perception.Methodology and sources. The main sources in which the work of the brain and the essence of consciousness are considered from the positions indicated above were for us the work of American and British neurophysiologists and psychiatrists (Sam Parnia, Peter Fenwick). These scientists are studying the phenomena that accompany clinical death, and argue that at these moments the brain functions to the greatest extent as a receiving “antenna”. Assuming that any antenna is to be tuned, we are trying to identify possible ways to “tune” the brain. To do this, we propose to study the frequency characteristics of speech (in the simplest case, when singing vowels in a calm state) for their belonging to a particular musical system, as well as the peculiarities of music perception depending on the musical system (on the height of the note “la”). Varying the frequency characteristics of speech in a particular musical system can be considered, in our opinion, the main way to “tune” the brain. The methodology of the method is based on the use of frequency analysis of sound and the basic provisions of the elementary theory of music.Results and discussion. The main conclusion made by Western psychiatrists is the brain is not an organ of thought, consciousness exists independently from outside, the work of consciousness cannot be explained by the functioning of the brain – it requires a hardware check. If the neural network is an “antenna” that captures thoughts, and its “adjustment” at the physical level can be carried out (and is carried out) through sensory systems (including the hearing organ), the study of the frequency structure of speech will answer a number of important questions, including including related and higher brain functions (insight, creativity). Our experiments (Saint Petersburg Electrotechnical University, FIBS, department of EUT) showed that the influence of the “increased” or “lowered” musical-speech system on brain activity is insignificant. The study revealed the equiprobability of the frequency structure of speech. Since our brain lacks some characteristic set of frequencies – elements of a uniformly temperamental system, it is not necessary to talk about the harmful (or any other noise) effect of the “raised” and “lowered” systems due to deviation from the “internal standard”.Conclusion. In response to the assumptions made by Western experts, we proposed a frequency interpretation of the processes occurring in the brain, which, perhaps, will explain in more detail such phenomena as inspiration, discovery, etc., which occur with minimal activity of consciousness. Despite the limited methods of hardware study of factors that influence the activity of the brain and largely determine its higher functions (for example, creativity), the results of the brain's work in relation to music (both in terms of its creation and in terms of our reaction to it) are quite analyzable, which was shown in this study. The “musicality” of speech is extremely vividly represented in its frequency structure and allows one to reveal, to one degree or another, the features of the brain. (shrink)

Publication date: 27 August 2018 Source: Author: Dejana Pavlović, Ivana S. Domazet, Milena Lazić The high rate of youth unemployment is an issue that is largely present in developing countries, such as Serbia. The results of the research will provide a major contribution whether education has an impact on the labour market among young people in Serbia. Decision tree was performed to identify impact constructs. In order to define public policies, an insight is provided into the characteristics of young people (...) that largely contribute to the probability of being employed. The results showed that education has an impact on youth unemployment. Results of the research will be useful for decision makers in the implementation of a strategic model of the labour market. Theoretical and practical implications are discussed in the paper. (shrink)

A sequent calculus methodology for systems of agency based on branching-time frames with agents and choices is proposed, starting with a complete and cut-free system for multi-agent deliberative STIT; the methodology allows a transparent justification of the rules, good structural properties, analyticity, direct completeness and decidability proofs.

The need for innovative development of healthcare institutions is determined by the necessity to increase the efficiency of organizational processes based on the formation of new models of cooperation, which will make it possible to get access to new technologies and knowledge. The goal of the study is to determine the parameters of the impact of innovative open cooperation strategy and the strategy of innovative closed cooperation of healthcare institutions on the effectiveness of their organizational structure in the context of (...) dissemination and the use of knowledge. Simulation modeling was applied to generate the most effective organizational management structure in the context of innovative cooperation and knowledge exchange within the organizational processes “Inside-out” and “Inside-in”. It is substantiated that the strategies of innovative cooperation “Open Innovation/Closed Innovation” have a significant impact on the organizational structure of management of healthcare institutions in terms of the “degree of centralization” (Dci), “degree of mediation” (Dii), and “degree of centralization of powers” (Dpi). The values of the selected criteria range from 25,52% to 61,50% in the case of Dii, and from 34,53% to 52,63% in the case of Dci, which indicates a higher efficiency of organizational knowledge exchange processes in healthcare institutions, which adhere to the Open Innovation strategy of innovative cooperation. Therefore, there are significant differences in the effectiveness of the management’s organizational structure depending on the degree of openness of innovative cooperation of healthcare institutions. The strategy of innovative openness allows increasing the number and quality of connections in the context of knowledge exchange between the subjects (actors, agents) of the organizational structure (in a broad sense, considering internal and external levels of externality) of healthcare institutions, regardless of the distance between them and the level of similarity. (shrink)

This article presents an attempt to approach the dispute over Kosovo between Serbs and Albanians from a non-territorial perspective, with particular focus on the preservation of the Serbian cultural and religious heritage. First, we argue that the Kosovo issue is at present commonly understood as an either-or territorial dispute over sovereignty and recognition between Serbian and Kosovo Albanian politicians. However, we claim that a lasting resolution to the Kosovo issue actually needs to account for at least three separate aspects: 1) (...) status of Northern Kosovo which is ethnically Serbian and still maintains various ties with the Serbian state, 2) status of Serbian cultural and religious heritage, chiefly UNESCO world heritage Serbian medieval monasteries and churches and 3) the fact that the Serbian population in central Kosovo, i.e. south of the river Ibar, where most of the mentioned monasteries and churches are located, are located in small municipalities or enclaves of Serbs surrounded by vast Albanian populations. We examine the applicability of the non– territorial approach to the Kosovo issue by analyzing the normative framework directly regulating the Serbian cultural and religious heritage in Kosovo, its preservation and protection, particularly of Serbian Orthodox monasteries, churches and other historical and cultural sites, while comparing these regulations to the existing normative NTAs in Croatia and Montenegro. Arguably, since most Serbian monasteries and churches are not included in any sovereignty negotiations, we point to the potential to combine territorial and non–territorial approaches, regardless of the continued obstacles in implementation arising from continued contestation of Kosovo’s sovereign status. This article presents an attempt to approach the dispute over Kosovo between Serbs and Albanians from a non-territorial perspective, with particular focus on the preservation of the Serbian cultural and religious heritage. First, we argue that the Kosovo issue is at present commonly understood as an either-or territorial dispute over sovereignty and recognition between Serbian and Kosovo Albanian politicians. However, we claim that a lasting resolution to the Kosovo issue actually needs to account for at least three separate aspects: 1) status of Northern Kosovo which is ethnically Serbian and still maintains various ties with the Serbian state, 2) status of Serbian cultural and religious heritage, chiefly UNESCO world heritage Serbian medieval monasteries and churches and 3) the fact that the Serbian population in central Kosovo, i.e. south of the river Ibar, where most of the mentioned monasteries and churches are located, are located in small municipalities or enclaves of Serbs surrounded by vast Albanian populations. We examine the applicability of the non– territorial approach to the Kosovo issue by analyzing the normative framework directly regulating the Serbian cultural and religious heritage in Kosovo, its preservation and protection, particularly of Serbian Orthodox monasteries, churches and other historical and cultural sites, while comparing these regulations to the existing normative NTAs in Croatia and Montenegro. Arguably, since most Serbian monasteries and churches are not included in any sovereignty negotiations, we point to the potential to combine territorial and non–territorial approaches, regardless of the continued obstacles in implementation arising from continued contestation of Kosovo’s sovereign status. (shrink)

Arkadii Dragomoshchenko, Russia's leading founder of Language poetry, in his new collection of essays fuses seemingly disparate elements of poetry, philosophy, journalism, and prose in an attempt to capture the workings of memory. At stake is not what he writes about -- whether memory, Gertrude Stein, immortality, or a walk on Nevsky Prospect -- but how he writes it. Formally, Dragomoshchenko never tires of digression, creating playful games of patience and anticipation for his reader. In so doing, he pushes story (...) and closure into the background -- arriving, finally, but not to a destination. Ultimately, Dragomoshchenko "carefully seeks out the dust of traces from the period of oblivion," which evidently lead to the oblivion of minds. (shrink)

The authors designated speech culture as the object of this article. The subject of the study is the creative potential of the Honored Artist of the RSFSR Maria Vinogradova in the context of voicing Soviet cartoons. The authors set a goal to identify the range of the potential of speech capabilities in voicing cartoon characters. The methodological basis of the article is content analysis, comparative, statistical, historical and cultural analysis of Soviet animated works, as well as their characters voiced by (...) Maria Vinogradova. The authors, when considering the problem, achieve the following results: from 1954 to 1995, Maria Sergeevna took part in the dubbing of 213 Soviet cartoons. The most fruitful years for the actress in terms of voice acting were 1976 – 15 works; 1975, 1984 - 12 works; 1973 – 11 works; 1974 – 10 works. For 40 years, the actress has voiced 109 animals, 87 boys, 22 girls, 14 indeterminate characters and 9 inanimate objects. In the process of developing the problem, the authors identify categories of voiced characters (boy characters, girl characters, animal characters, object characters, indeterminate characters) and analyze the actress' creativity for the characters she voices belonging to these categorical elements. The novelty of the research lies in the unconventionality of the indicated approach, as well as in the complex analysis of the palette of Maria Vinogradova's speech capabilities. As a result of the study, the authors come to the following conclusions: 1) The high creative rise of the actress was formed in the 1970s - 91 Soviet cartoons were voiced in this decade, which is 42% of the total number of voiced cartoons. 2) The acting role of Maria Sergeevna's travesty confirms the first place in the number of voiced male characters - children and animals. 3) In 15 cartoons, Maria voiced several characters, and in 2 – all the characters, which indicates a wide speech range of the actress. (shrink)

The concept of sustainable development considers environmental, social and economic issues in general. And the goals of resource conservation and socio-economic development do not contradict each other, but contribute to mutual reinforcement. The purpose of this study is to build and test an economic and mathematical model for the formation of strategies for the behavior of an economic entity with an increase in the impact of negative environmental factors. The proposed strategies and their models are based on the income-expenditure balance (...) equation, which takes into account both quantitative and qualitative characteristics. The constructed models are considered in the state space. The research methodology is based on building models in the form of linear combinations of functions of a homogeneous external impact and various spatial combinations of economic sources (sinks). The study makes it possible to assess the dependence of the amount of resources used for life support on the chosen adaptive strategy. Within the framework of the proposed model, it was found that the criterion for the effectiveness of the applied strategy can be an indicator of satisfaction with the state, the preservation of which, simultaneously with the preservation of the size of resources used, corresponds to the direction of optimization. This approach is consistent with the concept of sustainable development. (shrink)

Background Research involves the systematic collection and analysis of data to enhance understanding of a particular phenomenon. Participation in medical research is crucial for advancing healthcare practices. However, there has been limited focus on understanding the factors that motivate medical students to engage in research. Additionally, in the era of e-learning, the easy accessibility of online resources has contributed to a widespread ‘copy-paste culture’ among digital-native students, which is recognized in academia as plagiarism. Existing studies suggest that a contributing factor (...) to the increasing prevalence of plagiarism is students’ limited understanding of this act. The purpose of this study was to assess medical students’ attitudes toward research and plagiarism, and to evaluate the psychometric properties of the Attitudes Toward Research (ATR) and Attitudes Toward Plagiarism (ATP) questionnaires. Methods This was a multicenter study conducted among medical undergraduate and postgraduate students attending the three medical universities who were involved in research. Students’ attitudes toward research and plagiarism were assessed using the ATR and ATP questionnaires. The research instruments underwent translation and cultural adaptation in accordance with internationally accepted methodology. The psychometric properties of the ATR and ATP, including validity and reliability, were assessed. Confirmatory factor analysis was used to test the model’s fit to the data. Results The ATR and ATP questionnaires were completed by 793 medical students who were involved in research (647 undergraduates and 146 PhD students). Cronbach’s alpha coefficients of 0.917 and 0.822 indicated excellent and good scale reliability for the ATR and ATP questionnaires, respectively. The five-and three- factor structures of ATR and ATP have been validated with maximum likelihood confirmatory analysis, and the results demonstrated an adequate level of model fit (TLI = 0.930, CFI = 0.942 and TLI = 0.924, CFI = 0.943, respectively). Medical students showed a high degree of positive attitudes toward research and favorable scores across all three domains of attitudes toward plagiarism. In multivariate regression models, age was found to be positively associated with favorable attitudes of research usefulness, positive attitudes, relevance to life subscales and total ATR scale (p < 0.001), while PhD study level was related to research anxiety (p < 0.001) and favorable attitudes across all three ATP domains (p < 0.001). Conclusion Medical students who were involved in research showed a high degree of favorable attitudes toward research and plagiarism. Adjusting medical school curricula to include research courses would broaden the students’ interest in scientific research and maximize their impact on the full preservation of research ethics and integrity. (shrink)

The concept of alienation is important part of the 20th century leftwing social criticism and a key theme of Western Marxism and critical theory. It also has a significant impact on various existentialist-inspired cultural criticism. The development of the social and economic dynamics in recent decades has aroused interest for a different interpretations of this classic question. The following text is an attempt for ontological rethinking of the problem through the existential concepts of Martin Heidegger. This happens with the interpretive (...) reading of several of those key concepts. (shrink)

Why was Ivan Pavlevich Pavlov so widely celebrated in the decades after 1900? As his story of the 'freedom reflex' illustrates, Pavlov often overstated his observations. By calling all innate behaviour a reflex and all learned behaviour a conditional reflex, he meant to eliminate consciousness and volition from science. Pavlov's universal reflex explanation became the prototype for behaviourism.

The discovery of selective associability of cues in classical conditioning has often been treated as an embarrassment to Pavlov, because he has been represented as a proponent of the "equivalence of associability of cues." According to that doctrine, except for the influence of differences in stimulus intensity, all environmental stimuli are equally susceptible to becoming conditioned stimuli if they are arranged in a suitable time-relation to any effective unconditioned stimulus . The current paper asks whether Pavlov explicitly made (...) such a claim and, if not, whether he could have endorsed equivalence of associability. Scientific controversy, the role that "the classics" play in scientific specialties, and the emblematic standing of the founding figures of a discipline or specialty constitute a framework for discussion of Pavlov's stand on the equivalence of associability. (shrink)

The Quantified argument calculus (Quarc) has received a lot of attention recently as an interesting system of quantified logic which eschews the use of variables and unrestricted quantification, but nonetheless achieves results similar to the Predicate calculus (PC) by employing quantifiers applied directly to predicates instead. Despite this noted similarity, the issue of the relationship between Quarc and PC has so far not been definitively resolved. We address this question in the present paper, and then expand upon that result. Utilizing (...) recent developments in structural proof theory, we develop a G3-style sequent calculus for Quarc and briefly demonstrate its structural properties. We put these properties to use immediately to construct direct proofs of the meta-theoretical properties of the system. We then incorporate an abstract (and, as we shall see, logical) predicate into the system in a way that preserves all the structural properties. This allows us to identify a system of Quarc which is deductively equivalent to PC, and also yields a constructive method of demonstrating the Craig interpolation theorem (which speaks in favor of the aforementioned predicate being logical). We further generalize this extension to develop a bivalent system of Quarc with defining clauses that still maintains all the desirable properties of a good proof system. (shrink)

This essay examines the reception of Ivan Pavlov’s work on conditioned reflexes in early to mid-twentieth century Britain. Recent work on the political interpretation of biology has shown that the nineteenth-century strategy of “making socialists” was undermined by August Weismann’s attacks on the inheritance of acquired characters. I argue that Pavlov’s research reinvigorated socialist hopes of transforming society and the people in it. I highlight the work of Pavlov’s interpreters, notably the scientific journalist J. G. Crowther, the (...) biologist Lancelot Hogben, and the science writer H. G. Wells, who made Pavlov’s work accessible to a British audience and embraced the socialist implications of his research – especially the idea that people could be persuaded to become socialists through science writing for a nonspecialist audience and through use of a simplified language such as Basic English. They saw, in the followers of National Socialism, how Pavlovian conditioning could create a national movement, and believed that this could be used for their own more democratic form of socialism. In the final part of the essay, I suggest that this broad socio-cultural movement to reshape humanity proved controversial, especially in the post-war period and in light of Soviet use of brainwashing. The likes of Aldous Huxley and F. A. Hayek feared that conditioning could only lead to totalitarianism, while the historian E. P. Thompson put forward a socialist humanism that left room for human agency. (shrink)

Open peer commentary on the article “What Can the Global Observer Know?” by Diana Gasparyan. Upshot: My comments are aimed at certain difficulties and ambivalent statements in Gasparyan’s paper that are necessary to clarify before any productive discussion can start. Particularly, the underlying problem of her research should be made more explicit and internal differentiation of various research contexts should be more precise.

The simple connection of completeness and cocompleteness of lattices grows in categories into the Adjoint Functor Theorem. The connection of completeness and cocompleteness of Boolean algebras — even simpler — is similarly related to Paré's Theorem for toposes. We explain these relations, and then study the fibrational versions of both these theorems — for small complete categories. They can be interpreted as definability results in logic with proofs-as-constructions, and transferred to type theory.

The entire history of scientific and philosophical knowledge testifies that the significant difference between idealism and materialism does not lie in the alleged fact that materialism denies and idealism recognizes the significance of reason, i.e., the utilization in cognition of abstract ideas . Democritus' atoms, with all their geometrical and other attributes, are so small that they cannot be perceived either with the help, or by means, of an apparatus of hearing or organs of touch. Democritus arrived at the idea (...) of his "atoms" by the very same way in which Plato and Aristotle arrived at their "ideas" and "forms," which they contrasted to "matter" taken as "nonbeing" or "pure possibility." It is no accident that his work is titled Of Ideas. Democritus' atoms, Plato's ideas, Aristotle's forms, and later Leibniz' monads, Kant's "consciousness in general," and Hegel's "world spirit" are universal concepts, categories, or logical constructs. And, consequently, the deepest difference between Democritus and Plato, between Hegel and Feuerbach, lies in the fact that materialists, proceeding from the primacy and determining role of being, in the unity of being and consciousness, profess the theory of reflection, while all idealists without exception assert that it is not matter that is reflected in human ideas but, on the contrary, human ideas that are reflected in the empirical things and phenomena of the terrestrial world, which is contrasted fundamentally to the world of ideal essences, concepts, categories, and logical laws. (shrink)

Free logics are a family of first-order logics which came about as a result of examining the existence assumptions of classical logic (Hintikka _The Journal of Philosophy_, _56_, 125–137 1959 ; Lambert _Notre Dame Journal of Formal Logic_, _8_, 133–144 1967, 1997, 2001 ). What those assumptions are varies, but the central ones are that (i) the domain of interpretation is not empty, (ii) every name denotes exactly one object in the domain and (iii) the quantifiers have existential import. Free (...) logics reject the claim that names need to denote in (ii). _Positive_ free logic concedes that some atomic formulas containing non-denoting names (including self-identity) are true, _negative_ free logic treats them as uniformly false, and _neutral_ free logic as taking a third value. There has been a renewed interest in analyzing proof theory of free logic in recent years, based on intuitionistic logic in Maffezioli and Orlandelli (_Bulletin of the Section of Logic_, _48_(2), 137–158 2019 ) as well as classical logic in Pavlović and Gratzl (_Journal of Philosophical Logic_, _50_, 117–148 2021 ), there for the positive and negative variants. While the latter streamlines the presentation of free logics and offers a more unified approach to the variants under consideration, it does not cover neutral free logic, since there is some lack of both clear formal intuitions on the semantic status of formulas with empty names, as well as a satisfying account of the conditional in this context. We discuss extending the results to this third major variant of free logics. We present a series of G3 sequent calculi adapted from Fjellstad (_Studia Logica_, _105_(1), 93–119 2017, _Journal of Applied Non-Classical Logics_, _30_(3), 272–289 2020 ), which possess all the desired structural properties of a good proof system, including admissibility of contraction and all versions of the cut rule. At the same time, we maintain the unified approach to free logics and moreover argue that greater clarity of intuitions is achieved once neutral free logic is conceptualized as consisting of two sub-varieties. (shrink)

It is generally claimed that there exist exceptional circumstances when taking human life may be approved and when such actions may be justified on moral grounds. Precise guidelines in the medical field for making such decisions concerning patients who are terminally ill or have irreparable injuries incompatible with a bearable life, are difficult to establish. Recommendations that take the particular logical form of a rule, such as "in dubio pro vita", "when in doubt favour life") have been suggested and in (...) some countries incorporated into legal texts (Germany). We claim here that such a rule is of no value since it is open-ended and always allows for doubt, and a decision to employ measures that would support human life could always be argued to be a valid choice. Preservation of this rule could be encouraged, but giving it the force of law may put physicians at risk, as they may be challenged for choosing to terminate life in otherwise ethically and medically uncontroversial circumstances. (shrink)

The article considers the problem of universal basic income. The author believes that this topic can become one of the most relevant for social-philosophical research. The author notes that although the problem has been of concern to philosophers and scientists for a long time, it has become especially relevant only recently – over the past ten years. The following reasons are given as an explanation: recent experiments on the introduction of a universal basic income in Western countries, the trend toward (...) automation and technologization, the transformation of the economy, which is becoming more and more precarious. The author notes that the topic of universal basic income has become relevant even in Russian science, however, not in social philosophy, as in the West, but mainly in economics. The author argues that, since the discussion about basic income in the economic dimension has already taken place, it should be expanded to the field of social philosophy. To do this, the author raises a number of questions that will shed light on the social-philosophical nature of the problem of universal basic income – freedom, justice, welfare state, etc. Special attention is paid to the curious ideological transformations that became possible by the emergence of topic of basic income. First of all, basic income contributes to the formation of new ideologies, such as post-capitalism. Secondly, basic income itself can be considered as a new ideology, which is a synthesis of other ideological trends – libertarianism, feminism, Marxism, etc. Thirdly, post-capitalism, which emphasizes basic income, opens up much more significant problems than replacing labor and turning all people into a precariat. The author hopes that this paper will serve as the beginning of the discussion of the issue of basic income in the context of social-philosophical knowledge. (shrink)

This paper introduces a logic game which can be used to demonstrate the working of Boolean connectives. The simplicity of the system turns out to lead to some interesting meta-theoretical properties, which themselves carry a philosophical import. After introducing the system, we demonstrate an interesting feature of it—that it, while being an accurate model of propositional logic Booleans, does not contain any tautologies nor contradictions. This result allows us to make explicit a limitation of application of propositional logic to those (...) sentences with relatively stable truth values. (shrink)

The article is devoted to the experience of postmodern representation of the metaphysics of corporeality. The meaning of A. Artaud’s “Theatre of Cruelty” is shown as a living act of ontologization of the body through the pain phenomenon. The game of mercantile and thinking participant in the action is distinguished. The purpose of scientific research: to distinguish between psychological and metaphysical experiences as those that determine the bodily and carnal goals of the participants; accordingly, to show the actions of selfish (...) and selfless roles with their ability to pass or block pain. Objectives of the research: to investigate the mechanisms of postmodern understanding of the metaphysics of the body through A. Artaud’s experience; to present the sphere of the Theater of Cruelty as the destiny of mankind to be a participant in the horrible and to be able to sympathize with it; to highlight the game of mercantile and selfless participant in ambiguous actions; to emphasize pain as a criterion of ontologizing the body; to show the places of the Theater of Cruelty in action on living examples. The scientific novelty lies in the view of the metaphysics of corporeality through the Theater of Cruelty and existential pain. Being a man of postmodern thinking, A. Artaud considers metaphysics in action and shows corporeality by a joint action, which is an event. (shrink)

The latest book by Russian philosopher Sergey Mareev consists of two parts: recollections of his teacher Evald Ilyenkov, and reflections on some of the key themes of Ilyenkov’s philosophical heritage. The author traces several polemical lines related to the problem of the ideal, dialectics of the abstract and the concrete, the principle of historicism, as well as Ilyenkov’s interpretation of Spinoza and Hegel.

Open peer commentary on the article “Homeostats for the 21st Century? Simulating Ashby Simulating the Brain” by Stefano Franchi. Upshot: Ashby’s view of the organism as an essentially passive machine is not quite as original as the target article may suggest, since it can be traced to Freud’s pleasure principle and from there back to Fechner’s ideas about different kinds of stability in deterministic systems. A modification of the author’s distinction between “simulation of real objects” and “simulation of concepts” is (...) also suggested, and it is argued that the main aim of Ashby’s simulations was to explore the possibility of high-level (structural) explanations of real phenomena, especially learning and memory. (shrink)

The present study is couched within Rachman's three-pathway theory of fear acquisition. Besides the direct contact with the objects of fear, this model also includes two indirect pathways to fear acquisition: negative information transmission and modeling. The study aims to explore the contribution of these three factors to the level of children's fear of COVID-19. The sample consisted of 376 children, aged 7–19, and one of their parents. The survey was conducted online during the COVID-19 national state of emergency in (...) the Republic of Serbia. The children assessed their fear of COVID-19, general fearfulness, negative information transmission, and modeling by their parents, as well as the level of exposure to negative information outside their home. The parents assessed their own fear of COVID-19 and trait anxiety. Parents' anxiety, children's age, and children's general fearfulness were used as covariates. The results of our path analysis provide support for Rachman's notion of indirect pathways. The more the parents were afraid of COVID-19, the more they expressed this, which in turn led to an increase in the children's fear of COVID-19. Furthermore, children's exposure to negative information related to COVID-19, provided by their teachers and peers or stemming from the media, directly contributed to the level of children's fear. The results of the study emphasize the importance of caregivers' behavior during global health crises and provide some clues as to what caregivers may do to protect their children's mental health in such circumstances. (shrink)

The Quantified Argument Calculus (Quarc) is a formal logic system, first developed by Hanoch Ben-Yami in (Ben-Yami 2014), and since then extended and applied by several authors. The aim of this paper is to further these contributions by, first, providing a philosophical motivation for the truth-valuational, substitutional approach of (Ben-Yami 2014) and defending it against a common objection, a topic also of interest beyond its specific application to Quarc. Second, we fill the formal lacunae left in the original presentation, which (...) did not incorporate identity systematically into Quarc, and although it proved the soundness of the system did not prove its completeness. (shrink)

Even though Belgrade student protests emerged and ended abruptly after only seven days in June of 1968, they came as a cumulative point of a decade-long accumulated social dissatisfaction and antagonisms, as well as of philosophical investigations of the unorthodox Marxists of the Praxis school. It surprised the Yugoslav authorities as the first massive rebellion after WWII to explicitly criticize rising social inequality, bureaucratization and unemployment and demand free speech and abolishment of privileges. This article focuses on the intellectual destiny (...) and legacy of the eight professors from the Faculty of Philosophy close to the Praxis school, who were identified as the protests’ instigators and subsequently expelled from the University of Belgrade due to their “ethico-political unsuitability”. Under both international and domestic pressure, they were later reemployed in a separate research unit named the Centre for Philosophy and Social Theory, where they kept their critical edge and argued for political pluralism. From the late 1980s onwards, they and their colleagues became politically active and at times occupied the highest positions in Serbia – Dragoljub Mićunović as one of the founders of the modern Democratic Party and the Speaker of the Parliament, former Serbian President and Prime Minister Vojislav Koštunica and former Prime Minister late Zoran Đinđić. Still, while some members became strong anti-nationalists and anti-war activists, other embraced Serbian nationalism, therefore pivoting the intellectual split into the so called First and Second Serbia that marked Serbian society during the 1990s and remained influential to this day. (shrink)

Even though Belgrade student protests emerged and ended abruptly after only seven days in June of 1968, they came as a cumulative point of a decade-long accumulated social dissatisfaction and antagonisms, as well as of philosophical investigations of the unorthodox Marxists of the Praxis school. It surprised the Yugoslav authorities as the first massive rebellion after WWII to explicitly criticize rising social inequality, bureaucratization and unemployment and demand free speech and abolishment of privileges. This article focuses on the intellectual destiny (...) and legacy of the eight professors from the Faculty of Philosophy close to the Praxis school, who were identified as the protests? instigators and subsequently expelled from the University of Belgrade due to their?ethico-political unsuitability?. Under both international and domestic pressure, they were later reemployed in a separate research unit named the Centre for Philosophy and Social Theory, where they kept their critical edge and argued for political pluralism. From the late 1980s onwards, they and their colleagues became politically active and at times occupied the highest positions in Serbia - Dragoljub Micunovic as one of the founders of the modern Democratic Party and the Speaker of the Parliament, former Serbian President and Prime Minister Vojislav Kostunica and former Prime Minister late Zoran Djindjic. Still, while some members became strong anti-nationalists and anti-war activists, other embraced Serbian nationalism, therefore pivoting the intellectual split into the so called First and Second Serbia that marked Serbian society during the 1990s and remained influential to this day. (shrink)

In this paper we use proof-theoretic methods, specifically sequent calculi, admissibility of cut within them and the resultant subformula property, to examine a range of philosophically-motivated deontic logics. We show that for all of those logics it is a (meta)theorem that the Special Hume Thesis holds, namely that no purely normative conclusion follows non-trivially from purely descriptive premises (nor vice versa). In addition to its interest on its own, this also illustrates one way in which proof theory sheds light on (...) philosophically substantial questions. (shrink)

This is a selection of readings about professionalism and ethics in engineering. It addresses topics such as the concept of professionalism, education, and maintenance of competence, registration, professional autonomy, social effects and responsibilities, and enforcement of codes of ethics.